Heuristic analysis

Results: 116



#Item
51Applied mathematics / Automated theorem proving / Formal languages / Logic in computer science / Computability theory / Termination analysis / Mathematical proof / Rewriting / Heuristic / Theoretical computer science / Mathematics / Mathematical logic

Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3

Add to Reading List

Source URL: cedric.cnam.fr

Language: English - Date: 2011-02-13 18:15:50
52Numerical analysis / Combinatorial optimization / Linear programming relaxation / Linear programming / Relaxation / Cutting-plane method / Branch and bound / Algorithm / Heuristic function / Mathematical optimization / Mathematics / Operations research

Annals of Operations Research 140, 67–124, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.  Integer-Programming Software Systems ¨

Add to Reading List

Source URL: ieor.berkeley.edu

Language: English - Date: 2005-12-30 19:46:34
53Board games / Heuristics / Hex / Heuristic function / Computer chess / Outline of chess / Heuristic / Go / Y / Games / Abstract strategy games / Mathematical games

Higher Order Statistics in Play-out Analysis Tapani Raiko⋆ ⋆ Adaptive Informatics Research Centre Helsinki University of Technology

Add to Reading List

Source URL: www.stes.fi

Language: English - Date: 2006-10-19 04:44:00
54Mathematical optimization / Applied mathematics / Numerical analysis / Database management systems / SQL / Heuristic function / A* search algorithm / Query optimizer / Heuristic / Mathematics / Heuristics / Operations research

Microsoft Word[removed]doc

Add to Reading List

Source URL: www.di.unito.it

Language: English - Date: 2012-05-23 04:41:52
55Numerical analysis / Computational fluid dynamics / Fluid dynamics / Finite volume method / Partial differential equation / Fluid mechanics / Finite difference method / Differential equation / Flux / Mathematical analysis / Mathematics / Calculus

2.29 Numerical Fluid Mechanics Fall 2011 – Lecture 18 REVIEW Lecture 17: • Stability (Heuristic, Energy and von Neumann)

Add to Reading List

Source URL: ocw.mit.edu

Language: English - Date: 2015-04-02 12:13:45
56Cognition / Intelligence analysis / Mind / Decision making / Cognitive bias / Cognitive science / Heuristic / Neuroscience / Critical thinking / Decision theory / Intelligence Advanced Research Projects Activity

Sirius Proposers’ Day Office of Incisive Analysis Dr. Rita Bush 24 February 2011 INTELLIGENCE ADVANCED RESEARCH PROJECTS ACTIVITY (IARPA)

Add to Reading List

Source URL: www.iarpa.gov

Language: English - Date: 2014-03-06 18:49:39
57Antivirus software / Computer virus / Procedural programming languages / Application programming interface / Polymorphic code / Windows API / Portable Executable / C / Heuristic analysis / System software / Software / Computing

PDF Document

Add to Reading List

Source URL: www.nict.go.jp

Language: English - Date: 2013-11-21 18:57:18
58Statistical inference / Monte Carlo method / Numerical analysis / Probabilistic complexity theory / Cross-validation / Estimation theory / Representativeness heuristic / Sampling / Statistics / Probability and statistics / Applied mathematics

How Many Cases Do You Need? Assessing and Predicting Case-Base Coverage David Leake and Mark Wilson School of Informatics and Computing Indiana University, Bloomington, IN, USA [removed], [removed]

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2011-10-25 22:38:46
59Statistics / Financial risk / Mathematical finance / Actuarial science / Data analysis / Mathematical optimization / Portfolio optimization / Asset allocation / Expected shortfall / Financial economics / Investment / Economics

Heuristic Approaches for Portfolio Optimization y Manfred Gilli ([removed]) Department of Econometrics, University of Geneva, 1211 Geneva 4, Switzerland. Evis Kellezi ([removed])

Add to Reading List

Source URL: aiinfinance.com

Language: English - Date: 2012-06-26 15:07:03
60Search algorithms / Mathematical optimization / Cybernetics / Operations research / Tabu search / Genetic algorithm / Travelling salesman problem / Local search / Local optimum / Numerical analysis / Applied mathematics / Mathematics

TABU SEARCH Fred Glover Manuel Laguna Abstract This article explores the meta-heuristic approach called tabu search, which is dramatically

Add to Reading List

Source URL: aiinfinance.com

Language: English - Date: 2012-06-26 15:09:33
UPDATE